1. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
پدیدآورنده : Mark D. Aagaard, John W. O'Leary )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
2517